nested quantifiers solved example